Μ-abstract Elementary Classes and Other Generalizations
نویسنده
چکیده
We introduce μ-Abstract Elementary Classes (μ-AECs) as a broad framework for model theory that includes complete boolean algebras and metric spaces, and begin to develop their classification theory. Moreover, we note that μ-AECs correspond precisely to accessible categories in which all morphisms are monomorphisms, and begin the process of reconciling these divergent perspectives: for example, the preliminary classification-theoretic results for μ-AECs transfer directly to accessible categories with monomorphisms.
منابع مشابه
Shelah's categoricity conjecture from a successor for tame abstract elementary classes
We prove a categoricity transfer theorem for tame abstract elementary classes. Theorem 0.1. Suppose that K is a χ-tame abstract elementary class and satisfies the amalgamation and joint embedding properties and has arbitrarily large models. Let λ ≥ Max{χ,LS(K)}. If K is categorical in λ and λ, then K is categorical in λ. Combining this theorem with some results from [Sh 394], we derive a form o...
متن کاملGalois-stability for Tame Abstract Elementary Classes
We introduce tame abstract elementary classes as a generalization of all cases of abstract elementary classes that are known to permit development of stability-like theory. In this paper we explore stability results in this new context. We assume that K is a tame abstract elementary class satisfying the amalgamation property with no maximal model. The main results include: Theorem 0.1. Suppose ...
متن کاملMorley Sequences in Abstract Elementary Classes
In this paper, we explore stability results in the new context of tame abstract elementary classes with the amalgamation property. The main result is: Theorem 0.1. Let K be a tame abstract ementary class satisfying the amalgamation property without maximal models. There exists a cardinal μ0(K) such that for every μ ≥ μ0(K) and every M ∈ K>μ, A, I ⊂ M such that |I| ≥ μ > |A|, if K is Galois stab...
متن کاملOn the uniqueness property of forking in abstract elementary classes
In the setup of abstract elementary classes satisfying a local version of superstability, we prove the uniqueness property for μ-forking, a certain independence notion arising from splitting. This had been a longstanding technical difficulty when constructing forking-like notions in this setup. As an application, we show that the two versions of forking symmetry appearing in the literature (the...
متن کاملInternal Sizes in Μ-abstract Elementary Classes
The internal size of an objectM inside a given category is, roughly, the least infinite cardinal λ such that any morphism from M into the colimit of a λ+-directed system factors through one of the components of the system. The existence spectrum of a category is the class of cardinals λ such that the category has an object of internal size λ. We study the existence spectrum in μ-abstract elemen...
متن کامل